61. Emerging Solutions for Future Manufacturing Systems :
پدیدآورنده : edited by Luis M. Camarinha-Matos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering design.,Engineering.
62. End-user computing :
پدیدآورنده : Steve Clarke, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : End-user computing.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,End-user computing.
رده :
QA76
.
9
.
E53
E44
2008eb
63. Engineering Databases :
پدیدآورنده : edited by José L. Encarnação, Peter C. Lockemann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Software engineering.
رده :
TA345
.
E358
1990
64. Engineering Quality Software :
پدیدآورنده : by David J. Smith, Kenneth B. Wood.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electrical engineering.,Engineering.,Ingénierie.
رده :
QA76
.
6
B933
1989
65. Engineering adaptive software systems :
پدیدآورنده : Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Self-adaptive software, Congresses.,Self-adaptive software.
رده :
QA76
.
76
.
S375
66. Engineering for human-computer interaction :
پدیدآورنده : edited by Stéphane Chatty, Prasun Dewan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction -- Congresses.,Human-computer interaction.
رده :
QA76
.
9
.
H85
E358
1999
67. Engineering information systems in the internet context :
پدیدآورنده : wg8.1.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
M3
W4
2013
68. Enterprise DevOps framework :
پدیدآورنده : Shamayel M. Farooqui.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development.,Computer system conversion.,Information technology-- Management.,Operating systems (Computers),Computer software-- Development.,Computer system conversion.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.,Network hardware.,Operating systems (Computers)
رده :
QA76
.
9
.
C68
69. Enterprise Information Systems II
پدیدآورنده : edited by Bernadette Sharp, Joaquim Filipe, José Cordeiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
T58
.
6
E358
2001
70. Enterprise engineering and integration :
پدیدآورنده : K. Kosanke, J.G. Nell (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mangement information systems -- Congresses.
رده :
T58
.
6
K567
1997
71. Essentials of software engineering /Frank Tsui and Orlando Karam.
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Software engineering.
رده :
QA
76
.
758
.
T78
2011
72. Event-based neuromorphic systems /
پدیدآورنده : edited by Shih-Chii S. Liu, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, Rodney Douglas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete-time systems.,Neural networks (Neurobiology)-- Simulation methods.,Neuromorphics.
رده :
TA164
.
4
73. Evolution and challenges in system development
پدیدآورنده : edited by Jože Zupančič [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Management information systems -- Congresses.,Management information systems.,System design -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
74. Eye tracking methodology :
پدیدآورنده : Andrew T. Duchowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer vision.,Eye tracking.,Human-computer interaction.,Computer graphics.,Computer vision.,Eye tracking.,Human-computer interaction.
رده :
QA76
.
9
.
H85
75. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
76. Formal methods and object technology
پدیدآورنده : S.J. Goldsack and S.J.H. Kent (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programación orientada al objeto (Informática)
رده :
QA76
.
64
S546
1996
77. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
78. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
79. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
80. Formal methods in systems engineering
پدیدآورنده : ed. by Peter Ryan and Chris Sennett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraische Spezifikation,Mathematische Methode,Systementwicklung
رده :
QA76
.
76
.
D47
E339
1993
